1. Analysis :
پدیدآورنده : Steven R. Lay.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical analysis.,Proof theory.,Mathematical analysis.,Proof theory.
رده :
QA300
.
L427
2006
2. Analysis: An introduction to proof
پدیدآورنده : Steven R. Lay
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Mathematical analysis,Proof theory
رده :
QA
,
300
,.
L427
3. Analysis:an introduction to proof
پدیدآورنده : LAY,STEVEN R
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MATHEMATICAL ANALYSIS , PROOF THEORY
رده :
QA
300
.
L427
4. Analysis: an introduction to proof
پدیدآورنده : Lay, Steven R.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Mathematical analysis,، Proof theory
رده :
QA
300
.
L427
1986
5. Analysis with an introduction to proof
پدیدآورنده : Steven R. Lay
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Mathematical analysis,Proof theory
6. Analysis with an introduction to proof
پدیدآورنده : Steven R. Lay.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical analysis -- Textbooks.,Mathematical analysis.,Proof theory -- Textbooks.
رده :
QA300
.
S748
9999
7. Extending the fronters of mathematics:inquiries into ....
پدیدآورنده : / By Edward B.Burger
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Proof theory,Mathematical analysis,Logic symbolic & mathematical
رده :
511
.
36
B954e
8. Iterated inductive definitions and subsystems of analysis: recent proff-theoretical studies
پدیدآورنده : )by( Wilfreid Buchholz )et al(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
9. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... ]et al.[
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
299
.
8
.
I85
1981
10. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
11. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
Vol
.
897
12. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... )et al.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematical analysis - Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
1
.
L4
v
.
897
13. Mathematical analysis and proof
پدیدآورنده : / by David S.G. Stirling
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Mathematical analysis
رده :
QA9
.
54
.
S757
1997
14. Mathematical analysis and proof /
پدیدآورنده : David S.G. Stirling
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical analysis,Proof theory
رده :
QA9
.
54
.
S75
2009
15. Mathematical analysis and proof
پدیدآورنده : Stirling, David S.G.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Mathematical analysis,، Proof theory
رده :
QA
300
.
S585
1997
16. Mathematical analysis and proof
پدیدآورنده : Stirling, David S. G.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Mathematical analysis , Proof theory
رده :
QA
300
.
S887
1997
17. Proof theory of impredicative subsystems of analysis /
پدیدآورنده : Wilfried Buchholz, Kurt Schütte
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical analysis,Proof theory
18. Proof theory of impredicative subsystems of analysis
پدیدآورنده : Buchholz, Wilfried, 8491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematical analysis -- Foundations,، Proof theory
رده :
QA
299
.
8
.
B83
19. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R668
2006
20. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J., 6591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis -- Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R68T4
